void empty()
{
}

void foo()
{
	int i;
	int a;

	for (i = 0; i < 10; ++i)
		a = 5;
}
